[IA64] allow __assign_domain_page() to assign real MMIO page over _PAGE_IO.
authorIsaku Yamahata <yamahata@valinux.co.jp>
Fri, 24 Oct 2008 02:38:09 +0000 (11:38 +0900)
committerIsaku Yamahata <yamahata@valinux.co.jp>
Fri, 24 Oct 2008 02:38:09 +0000 (11:38 +0900)
commita6225e1b23589fecbfb049da6fb3c02f10ac2884
tree2743e02d2e65565c28c0feb15ce5b55e4f438fe4
parent564851d03c2f7d342d87352a5ac1da3304f3388a
[IA64] allow __assign_domain_page() to assign real MMIO page over _PAGE_IO.

When VTD is enabled on HVM domain,
P2M entry may change from _PAGE_IO to real MMIO page.

Signed-off-by: Anthony Xu <anthony.xu@intel.com>
xen/arch/ia64/xen/mm.c